prima implicante